Information exchange can be seen as a dynamic process of raising and resolving issues. The goal of this paper is to provide a logical framework to model and reason about this process. We develop an inquisitive dynamic epistemic logic , which enriches the standard framework of dynamic epistemic logic , incorporating insights from recent work on inquisitive semantics. At a static level, IDEL does not only allow us to model the information available to a set of agents, like standard epistemic (...) logic, but also the issues that the agents entertain. At a dynamic level, IDEL does not only allow us to model the effects of communicative actions that provide new information, like standard DEL, but also the effects of actions that raise new issues. Thus, IDEL provides the fundamental tools needed to analyze information exchange as a dynamic process of raising and resolving issues. (shrink)

The book presents a new logical framework to capture the meaning of sentences in conversation. It is based on a richer notion of meaning than traditional approaches, and allows for an integrated treatment of statements and questions. The first part of the book presents the framework in detail, while the second demonstrates its many benefits.

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive semantics: (...) truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

There is a prominent line of work in natural language semantics, rooted in the work of Hamblin, in which the meaning of a sentence is not taken to be a single proposition, but rather a set of propositions—a set of alternatives. This allows for a more fine-grained view on meaning, which has led to improved analyses of a wide range of linguistic phenomena. However, this approach also faces a number of problems. We focus here on two of these, in our (...) view the most fundamental ones. The first has to do with how meanings are composed, i.e., with the type-theoretic operations of function application and abstraction; the second has to do with how meanings are compared, i.e., the notion of entailment. Our aim is to reconcile what we take to be the essence of Hamblin’s proposal with the more orthodox type-theoretic framework rooted in the work of Montague in such a way that both the explanatory utility of the former and the solid formal foundations of the latter are preserved. Our proposal builds on insights from recent work on inquisitive semantics, and it also contributes to the further development of this framework by specifying how the inquisitive meaning of a sentence may be built up compositionally. (shrink)

Inquisitive dynamic epistemic logic extends standard public announcement logic incorporating ideas from inquisitive semantics. In IDEL, the standard public announcement action can be extended to a more general public utterance action, which may involve a statement or a question. While uttering a statement has the effect of a standard announcement, uttering a question typically leads to new issues being raised. In this paper, we investigate the logic of this general public utterance action. We find striking commonalities, and some differences, with (...) standard public announcement logic. We show that dynamic modalities admit a set of reduction axioms, which allow us to turn any formula of IDEL into an equivalent formula of static inquisitive epistemic logic. This leads us to establish several complete axiomatizations of IDEL, corresponding to known axiomatizations of public announcement logic. (shrink)

The view that if-clauses function semantically as restrictors is widely regarded as the only candidate for a fully general account of conditionals. The standard implementation of this view assumes that, where no operator to be restricted is in sight, if-clauses restrict covert epistemic modals. Stipulating such modals, however, lacks independent motivation and leads to wrong empirical predictions. In this paper I provide a theory of conditionals on which if-clauses are uniformly interpreted as restrictors, but no covert modals are postulated. Epistemic (...) if-clauses, like those in bare conditionals, restrict an information state parameter which is used to interpret an expressive layer of the language. I show that this theory yields an attractive account of bare and overtly modalized conditionals and solves various empirical problems for the standard view, while dispensing with its less plausible assumption. (shrink)

This paper investigates a generalized version of inquisitive semantics. A complete axiomatization of the associated logic is established, the connection with intuitionistic logic and several intermediate logics is explored, and the generalized version of inquisitive semantics is argued to have certain advantages over the system that was originally proposed by Groenendijk (2009) and Mascarenhas (2009).

The problem of probabilities of conditionals is one of the long-standing puzzles in philosophy of language. We defend and update Adams' solution to the puzzle: the probability of an epistemic conditional is not the probability of a proposition, but a probability under a supposition. -/- Close inspection of how a triviality result unfolds in a concrete scenario does not provide counterexamples to the view that probabilities of conditionals are conditional probabilities: instead, it supports the conclusion that probabilities of conditionals violate (...) standard probability theory. -/- This does not call into question probability theory per se; rather, it calls for a more careful understanding of its role: probability theory is a theory of probabilities of propositions; but as conditionals do not express propositions, their probabilities are not subject to the standard laws. -/- We argue that both conditional probabilities and probabilities of conditionals are best understood in terms of the dynamics of supposing, modeled as a restriction operation on a probability space. This version of the suppositionalist view allows us to connect Adams' Thesis to the widely held restrictor view of the semantics of conditionals. -/- We address two common objections to Adams' view: that the relevant probabilities are ‘probabilities only in name’, and that giving up conditional propositions puts us at a disadvantage when it comes to interpreting compounds. -/- Finally, we argue that some putative counterexamples to Adams' Thesis can be diagnosed as fallacies of probabilistic reasoning: they arise from applying to conditionals laws of standard probability theory which are invalid for them. (shrink)

This paper argues that questions have an important role to to play in logic, both semantically and proof-theoretically. Semantically, we show that by generalizing the classical notion of entailment to questions, we can capture not only the standard relation of logical consequence, which holds between pieces of information, but also the relation of logical dependency, which holds between information types. Proof-theoretically, we show that questions may be used in inferences as placeholders for arbitrary information of a given type; by manipulating (...) such placeholders, we may construct formal proofs of dependencies. Finally, we show that such proofs have a specific kind of constructive content: they do not just witness the existence of a certain dependency, but actually encode a method for transforming information of the types described by the assumptions into information of the type described by the conclusion. (shrink)

In this paper I discuss the role that question contents should play in an overall account of language, thought, and communication. Based on these considerations, I argue against the Fregean view that analyzes questions as distinguished only at the level of force. Questions, I argue, are associated with specific semantic objects, which play a distinctive role in thought and in compositional semantics, stand in logical relations to one another, and can act as contents of multiple speech acts. In the second (...) part of the paper, I present a recent approach to the semantics of questions – inquisitive semantics – and discuss how the notion of question content it provides can be fruitfully put to use in the different roles we identified. (shrink)

I propose an account of indicative conditionals that combines features of minimal change semantics and information semantics. As in information semantics, conditionals are interpreted relative to an information state in accordance with the Ramsey test idea: “if p then q” is supported at a state s iff q is supported at the hypothetical state s[p] obtained by restricting s to the p-worlds. However, information states are not modeled as simple sets of worlds, but by means of a Lewisian system of (...) spheres. Worlds in the inner sphere are considered possible; worlds outside of it are ruled out, but to different degrees. In this way, even when a state supports “not p”, it is still possible to suppose p consistently. I argue that this account does better than its predecessors with respect to a set of desiderata concerning inferences with conditionals. In particular, it captures three important facts: that a conditional is logically independent from its antecedent; that a sequence of antecedents behaves like a single conjunctive antecedent ; and that conditionals restrict the quantification domain of epistemic modals. I also discuss two ways to construe the role of a premise, and propose a generalized notion of entailment that keeps the two apart. (shrink)

In many natural languages, there are clear syntactic and/or intonational differences between declarative sentences, which are primarily used to provide information, and interrogative sentences, which are primarily used to request information. Most logical frameworks restrict their attention to the former. Those that are concerned with both usually assume a logical language that makes a clear syntactic distinction between declaratives and interrogatives, and usually assign different types of semantic values to these two types of sentences. A different approach has been taken (...) in recent work on inquisitive semantics. This approach does not take the basic syntactic distinction between declaratives and interrogatives as its starting point, but rather a new notion of meaning that captures both informative and inquisitive content in an integrated way. The standard way to treat the logical connectives in this approach is to associate them with the basic algebraic operations on these new types of meanings. For instance, conjunction and disjunction are treated as meet and join operators, just as in classical logic. This gives rise to a hybrid system, where sentences can be both informative and inquisitive at the same time, and there is no clearcut division between declaratives and interrogatives. It may seem that these two general approaches in the existing literature are quite incompatible. The main aim of this paper is to show that this is not the case. We develop an inquisitive semantics for a logical language that has a clearcut division between declaratives and interrogatives. We show that this language coincides in expressive power with the hybrid language that is standardly assumed in inquisitive semantics, we establish a sound and complete axiomatization for the associated logic, and we consider a natural enrichment of the system with presuppositional interrogatives. (shrink)

In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team semantics, where teams are embedded within intuitionistic Kripke models. (...) The associated logic is a conservative extension of intuitionistic logic with questions and dependence formulas. We establish a number of results about this logic, including a normal form result, a completeness result, and translations to classical inquisitive logic and modal dependence logic. (shrink)

We bring together two ideas that are widely accepted in the literature: (i) conditionals with modal consequents are systematically ambiguous between a reading on which the if-clause restricts the modal, and a reading on which the if-clause introduces an epistemic supposition and the modal is unrestricted; (ii) ‘will’ is a modal. Together, (i) and (ii) imply that ‘will’-conditionals are systematically ambiguous between a reading as restricted historical claims, and one as unrestricted historical claims made under a supposition. We argue that (...) this prediction is correct and that the existence of the relevant ambiguity has far-reaching repercussions for several important debates concerning conditionals. (shrink)

Building on recent work by Yale Weiss, we study conditional logics in the intuitionistic setting. We consider a number of semantic conditions which give rise, among others, to intuitionistic counterparts of Lewis’s logic VC and Stalnaker’s C2. We show how to obtain a sound and complete axiomatization of each logic arising from a combination of these conditions. On the way, we remark how, in the intuitionistic setting, certain classically equivalent principles of conditional logic come apart, and how certain logical connections (...) between different principles no longer hold. (shrink)

The main goal of this paper is to investigate the relation between the meaning of a sentence and its truth conditions. We report on a comprehension experiment on counterfactual conditionals, based on a context in which a light is controlled by two switches. Our main finding is that the truth-conditionally equivalent clauses (i) "switch A or switch B is down" and (ii) "switch A and switch B are not both up" make different semantic contributions when embedded in a conditional antecedent. (...) Assuming compositionality, this means that (i) and (ii) differ in meaning, which implies that the meaning of a sentential clause cannot be identified with its truth conditions. We show that our data have a clear explanation in inquisitive semantics: in a conditional antecedent, (i) introduces two distinct assumptions, while (ii) introduces only one. Independently of the complications stemming from disjunctive antecedents, our results also challenge analyses of counterfactuals in terms of minimal change from the actual state of affairs: we show that such analyses cannot account for our findings, regardless of what changes are considered minimal. (shrink)

Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate (...) the natural notion of bisimulation equivalence in the setting of InqML. We compare the expressiveness of InqML and first-order logic in the context of relational structures with two sorts, one for worlds and one for information states, and characterise inquisitive modal logic as the bisimulation invariant fragment of first-order logic over various natural classes of two-sorted structures. (shrink)

Traditional approaches to the semantics of questions analyze questions indirectly, via the notion of an answer. In recent work on inquisitive semantics, a different perspective is taken: the meaning of a question is equated with its resolution conditions, just like the meaning of a statement is traditionally equated with its truth-conditions. In this paper I argue that this proposal improves on previous approaches, combining the formal elegance and explanatory power of Groenendijk and Stokhof’s partition theory with the greater generality afforded (...) by answer-set theories. (shrink)

Inquisitive first-order logic, InqBQ, is a system which extends classical first-order logic with formulas expressing questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures. This paper makes two contributions to the study of this logic. First, we describe an Ehrenfeucht–Fraïssé game for InqBQ and show that it characterizes the distinguishing power of the logic. Second, we use the game to study cardinality quantifiers in the inquisitive setting. That is, we study what (...) statements and questions can be expressed in InqBQ about the number of individuals satisfying a given predicate. As special cases, we show that several variants of the question how many individuals satisfy α(x) are not expressible in InqBQ, both in the general case and in restriction to finite models. (shrink)

Unfortunately, the Acknowledgements section is missing from the original publication.

We present a gravitational quantum dynamics theory that combines quantum field theory for particle dynamics in space-time with classical Einstein’s general relativity in a non-Riemannian Finsler space. This approach is based on the geometrization of quantum mechanics proposed in Tavernelli and combines quantum and gravitational effects into a global curvature of the Finsler space induced by the quantum potential associated to the matter quantum fields. In order to make this theory compatible with general relativity, the quantum effects are described in (...) the framework of quantum field theory, where a covariant definition of ‘simultaneity’ for many-body systems is introduced through the definition of a suited foliation of space-time. As in Einstein’s gravitation theory, the particle dynamics is finally described by means of a geodesic equation in a curved space-time manifold. (shrink)

A construction is found in American Sign Language that we call a Question–Answer Clause. It is made of two parts: the first part looks like an interrogative clause conveying a question, while the second part resembles a declarative clause answering that question. The very same signer has to sign both, the entire construction is interpreted as truth-conditionally equivalent to a declarative sentence, and it can be uttered only under certain discourse conditions. These and other properties of Question–Answer Clauses are discussed, (...) and a detailed syntactic, semantic, and pragmatic account is provided. Question–Answer Clauses are argued to be copular clauses consisting of a silent copula of identity connecting an interrogative clause in the precopular position with a declarative clause in the postcopular position. Pragmatically, they instantiate a topic/comment structure, with the first part expressing a sub-question under discussion and the second part expressing the answer to that sub-question. Broader implications of the analysis are discussed for the Question Under Discussion theory of discourse structuring, for the analysis of pseudoclefts in spoken languages, and for recent proposals about the need for answerhood operators and exhaustivity operators in the grammar and the consequences for the syntax/semantics/pragmatics interface. (shrink)

In recent years, the study of formal semantics and formal pragmatics has grown tremendously showing that core aspects of language meaning can be explained by a few principles. These principles are grounded in the logic that is behind - and tightly intertwined with - the grammar of human language. In this book, some of the most prominent figures in linguistics, including Noam Chomsky and Barbara H. Partee, offer new insights into the nature of linguistic meaning and pave the way for (...) the further development of formal semantics and formal pragmatics. Each chapter investigates various dimensions in which the logical nature of human language manifests itself within a language and/or across languages. Phenomena like bare plurals, free choice items, scalar implicatures, intervention effects, and logical operators are investigated in depth and at times cross-linguistically and/or experimentally. This volume will be of interest to scholars working within the fields of semantics, pragmatics, language acquisition and psycholinguistics. (shrink)

With the purpose of introducing a useful tool for researches concerning foundations of quantum mechanics and applications to quantum technologies, here we address three quantumness quantifiers for bipartite optical systems: one is based on sub-shot-noise correlations, one is related to antibunching and one springs from entanglement determination. The specific cases of parametric downconversion seeded by thermal, coherent and squeezed states are discussed in detail.

Objectives: Investigate and identify the relationship between physical exercise and cognitive performance measured by using different cognitive tests taken from Cambridge Brain Science.Methods: Thirty subjects, divided into two groups, undergo twelve cognitive tests from CBS. A comparison between the pre- and post-exercise results in terms of cognitive performance differences is carried out. Regression analysis between Heart Rate Variability features and CBS tests results is performed.Results: In most CBS tests, there is an improvement, or at least a confirmation, of the subject's (...) cognitive ability, for both groups. Reasoning, concentration, and planning tests seem to undergo critical positive changes. The regression analysis, performed by using a set of different algorithms, has demonstrated that it is possible, by monitoring the HRV during the exercise, to predict to some extent the cognitive performance, i.e., the CBS tests results. The best performing regression algorithms are Simple Linear and REPTree. The statistical analysis has proved that physical activity is statistically useful for the subjects in improving their cognitive performance.Conclusions: This study has numerically appraised the improvement, the conservation, or the worsening on different aspects of cognition. The found mathematical relationship between physical exercise and cognitive performance suggests that it is possible to predict the beneficial effect of various exercises on executive and attentive control. (shrink)

This paper explores the interactions between scientific travel, politics, instrument making and the epistemology of scientific instruments in Napoleon's Europe. In the early 1800s, the German astronomer Franz Xaver von Zach toured Italy and Southern France with instruments made by G. Reichenbach in his newly-established Bavarian workshop. I argue that von Zach acted as a broker for German technology and science and that travel, personal contacts and direct demonstrations were crucial in establishing Reichenbach's reputation and in conquering new markets. The (...) rise of German instrument making highlights the complexity of the scientific relationship between the centre and the peripheries in Napoleon's empire, and reveals the existence of diverging views on the role of instruments and of their makers. In von Zach's view, Reichenbach's instruments could not penetrate the French market because Parisian astronomers focused on mathematical astronomy and, for both political and epistemological reasons, dismissed instruments and material innovations from the peripheries. The German astronomer and his Italian colleagues, on the contrary, regarded Reichenbach's technical achievements as outstanding contributions to astronomy, and considered the political and cultural hegemony of the capital as a hindrance to the advancement of science. (shrink)

SummaryThis paper explores the interactions between scientific travel, politics, instrument making and the epistemology of scientific instruments in Napoleon's Europe. In the early 1800s, the German astronomer Franz Xaver von Zach toured Italy and Southern France with instruments made by G. Reichenbach in his newly-established Bavarian workshop. I argue that von Zach acted as a broker for German technology and science and that travel, personal contacts and direct demonstrations were crucial in establishing Reichenbach's reputation and in conquering new markets. The (...) rise of German instrument making highlights the complexity of the scientific relationship between the centre and the peripheries in Napoleon's empire, and reveals the existence of diverging views on the role of instruments and of their makers. In von Zach's view, Reichenbach's instruments could not penetrate the French market because Parisian astronomers focused on mathematical astronomy and, for both political and epistemological reasons, dismissed instruments and material innovations from the peripheries. The German astronomer and his Italian colleagues, on the contrary, regarded Reichenbach's technical achievements as outstanding contributions to astronomy, and considered the political and cultural hegemony of the capital as a hindrance to the advancement of science. (shrink)

Based on the novel data collected through original fieldwork on five syntactic phenomena (the position of the finite verb in embedded clauses, in sentences with a modal verb, negative concord, position of focused light/heavy objects in main clauses with a complex tense, scrambling) in the heritage language Mòcheno, we show that i) there exist two populations – one exhibiting intra-speaker variation between German and Italian word orders, and one lacking it; ii) these two populations are the result of diatopic variation (...) and, to a lesser extent, of diastratic variation. The results reached through quantitative statistical analysis are partially convergent with those arrived at by traditional theoretical syntax on Mòcheno, but our analysis has allowed us to shed new light on a series of so-far neglected or poorly understood phenomena. More specifically, we discovered that there exists micro-variation fed by diastratic (age) variation within the Roveda variety, which represents the only case in Mòcheno in which age is a relevant factor in determining variation. We also showed that the traditional claim that the Palù variety is “more German” than the other Mòcheno variety is surely to be confirmed, but we could refine it by showing that German word orders are also accepted by speakers of other varieties and that the acceptability of these word orders in competition with the Italian syntax is not fed by the age of speakers (no diastratic variation). Finally, we showed that the acceptance of German word orders across speakers varies according to the phenomenon investigated: negation is the phenomenon in which German word orders are more likely to be accepted, whereas embedded clauses are the phenomenon in which German word orders are more likely to be rejected. (shrink)

Since its emergence, the novel coronavirus disease of 2019 has had enormous physical, social, and psychological impacts worldwide. The aim of this article was to identify elements of our knowledge on asbestos exposure and malignant mesothelioma that can provide insight into the psychological impact of the COVID-19 pandemic and be used to develop adequate interventions. Although the etiology of Covid-19 and MM differs, their psychological impacts have common characteristics: in both diseases, there is a feeling of being exposed through aerial (...) contagion to an “invisible killer” without boundaries that can strike even the strongest individuals. In both cases, affected persons can experience personality dysfunction, anxiety, depression, and posttraumatic symptoms; helplessness, hopelessness, and projection of destructive thoughts onto external forces often emerge, while defense mechanisms such as denial, splitting, repression, and reduced emotional expression are used by individuals to contain their overwhelming anxieties. We believe that in both diseases, an integrated multidimensional intervention offered by hospitals and other public health services is the most effective approach to alleviating patients’ and caregivers’ psychological distress. In particular, we emphasize that in the context of both MM and COVID-19, Brief Psychoanalytic Group therapy can help patients and caregivers attribute meaning to the significant changes in their lives related to the experience of the disease and identify adaptive strategies and more realistic relational modalities to deal with what has happened to them. We also highlight the importance of developing a surveillance system that includes individual anamnestic evaluation of occupational risk factors for COVID-19 disease. (shrink)

Under such a name in Ternopil on November 29-30, 1996 the All-Ukrainian Scientific and Theological Conference took place. Its organizers are the regional organization of religious scholars, associate member of the State Archive of the State Archive of Ternopil region, Ternopil diocese of the UGCC and Ternopil Medical Institute. In addition to the Ternopil citizens, scientists from Kyiv, Lviv, Sumy, Lutsk, Vinnitsa, and Ivano-Frankivsk participated in the conference.